CNF problems in Discrete Mathematics